Normal science - PDFSEARCH.IO - Document Search Engine

Normal science
Results: 1249

#	Item
61	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:46:27 Logic programming Automated theorem proving Logic in computer science Formal methods Theoretical computer science Unification Lambda calculus Boolean satisfiability problem Conjunctive normal form
62	American Economic Association A Theory of "Yes Men" Author(s): Canice Prendergast Source: The American Economic Review, Vol. 83, No. 4 (Sep., 1993), ppPublished by: American Economic Association Add to Reading List Source URL: faculty.chicagobooth.edu Language: English - Date: 2009-07-15 17:01:32 Actuarial science Labour economics Variance Incentive Value at risk Normal distribution
63	286 JOURNAL OF PHYSICAL OCEANOGRAPHY VOLUME 36 Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2011-05-16 11:51:28 Singular value decomposition Normal mode Spectroscopy Atlantic multidecadal oscillation Eigenvalues and eigenvectors Zonal and meridional Transverse mode
64	CELEBRATING 30 YEARS doimksc © 2011 INFORMS Vol. 30, No. 1, January–February 2011, pp. 22–24 issn ! eissn 1526-548X ! 11 ! 3001 ! 0022 Add to Reading List Source URL: www-stat.wharton.upenn.edu Language: English - Date: 2016-07-26 14:30:17 Independence Probability distributions Actuarial science Multivariate statistics Stable distributions Copula Correlation and dependence Normal distribution Multivariate normal distribution Joint probability distribution Bayesian inference Marginal likelihood
65	RESEARCHCONTRIBUTIONS Artificial Intelligence and Language Processing Add to Reading List Source URL: aml.media.mit.edu Language: English - Date: 2011-07-13 14:33:31 Boolean algebra Formal methods Theoretical computer science Implicant Disjunctive normal form IP Lambda calculus Vector space Boolean satisfiability problem Bayesian network
66	Precision and Recall for Regression Luis Torgo1 and Rita Ribeiro2 1 2 Add to Reading List Source URL: www.dcc.fc.up.pt Language: English - Date: 2012-12-13 10:18:40 Econometrics Regression analysis Actuarial science Predictive analytics Prediction Normal distribution Time series Loss function Forecasting Linear regression
67	Proof Theory for Admissible Rules Rosalie Iemhoff 1 Department of Philosophy Utrecht University Bestuursgebouw Heidelberglaan 6-8 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2009-03-24 09:48:00 Modal logic Non-classical logic Proof theory Logic in computer science Philosophical logic Admissible rule Sequent Normal modal logic Intermediate logic Kripke semantics Intuitionistic logic General frame
68	Hirsch-Fye Quantum Monte Carlo Method for Dynamical Mean-Field Theory Add to Reading List Source URL: www.cond-mat.de Language: English - Date: 2014-05-26 12:52:52 Quantum chemistry Dynamical mean-field theory Materials science Symbol Quantum Monte Carlo Distribution Operator Normal distribution
69	On Gompf ’s construction of symplectic manifolds by Harm Backx a thesis submitted to the Department of Mathematics at Utrecht University for the degree of Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2015-09-22 09:08:35 Homotopy theory Algebraic topology Differential topology Maps of manifolds Homotopy group Fundamental group Homotopy Differentiable manifold Diffeomorphism Blowing up Symplectomorphism Normal bundle
70	Scientific contributions with PhD students St´ephane Girard Inria Rhˆ one-Alpes & LJK (team MISTIS). 655, avenue de l’Europe, MontbonnotSaint-Ismier Cedex, France Add to Reading List Source URL: mistis.inrialpes.fr Language: English - Date: 2016-05-04 05:59:46 Actuarial science Estimation theory Multivariate statistics Independence Machine learning Copula Heavy-tailed distribution Mixture model Normal distribution Quantile Regression analysis Maximum likelihood estimation